Redesign of UML Class Diagrams: A Formal Approach1
نویسنده
چکیده
Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must be modified accordingly. This paper presents a method of transforming contracts, which allows the extension of a mapping defined on a few model elements, to what we call an interpretation function, and to use this function to automatically translate OCL-constraints. Interestingly, such functions preserve reasoning using prepositional calculi, resolution, equations, and induction. Interpretation functions can be used to trace model elements throughout multiple redesigns of UML class diagrams in both the forward, and the backward direction. The applicability of our approach is demonstrated in several examples, including some of Fowler’s refactoring patterns.
منابع مشابه
Formal Redesign of UML Class Diagrams
In this paper we study a formal concept of redesign for object-oriented specifications. This concept corresponds to the UML notion of abstraction. The notion of refinement, which has been extensively studied also at the formal level, models well incremental approach where new requirements are added, but can not be changed. This assumption is usually not satisfied in software engineering process...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملMapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کامل